Skip to content

Instantly share code, notes, and snippets.

@koo5
Created January 18, 2021 11:20
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save koo5/9d91b7fe7f325ae515dc00198d481923 to your computer and use it in GitHub Desktop.
Save koo5/9d91b7fe7f325ae515dc00198d481923 to your computer and use it in GitHub Desktop.
:- use_module(library(plammar)).
:- use_module(library(pprint)).
:-
prolog_ast(
string(
"a(1)."
),
PT
),
print_term(
PT,[
tab_width(1),
indent_arguments(1),
right_margin(200)
]),
halt.
prolog(
[ fact(
compound(
atom(
a),
[ integer(
1)
]))
])
:- use_module(library(plammar)).
:- use_module(library(pprint)).
:-
prolog_ast(
file(
'cli.pl'
),
PT
),
print_term(
PT,[
tab_width(1),
indent_arguments(1),
right_margin(200)
]),
halt.
(stuck forever)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment