Skip to content

Latest commit

 

History

History
17 lines (14 loc) · 557 Bytes

README.md

File metadata and controls

17 lines (14 loc) · 557 Bytes
Raw

Traductor prolog a gdl

Syntactic expansion in CIAO ProLog for translate from ProLog to GDL. (Not compatible with SWIProlog).

How to use

Paste the code for translate into trad_gdl file, keeping the packages:

:- use_package(show_trans).
:- use_package(.(meta_trans)).

Result

The result of compilation is returned in the console.

The result has single quotes.

Observations

GDL does not use lists, so the ProLog list translates to how ProLog treats them internally: [a,b] = (. a (b. [])). Instead of using lists, use the KB.