rogual · August 21, 2017 16:54
diff --git a/README.txt b/README.txt
 Creating simple CLI programs with GNU Prolog

 This template shows how to compile a knowledge base to machine code and execute arbitrary Prolog queries against it by passing them as CLI arguments to a binary.

 Output comes out on stdout with no banners or other rubbish.
diff --git a/Makefile b/Makefile
 .PHONY: run

 simple: simple.pl
 	gplc --no-top-level $<

 run: simple
 	./simple 'forall(ok(X), (write(X), nl)).'
diff --git a/simple.pl b/simple.pl
 :- initialization(main).

 ok(a).
 ok(b).

 main :-
    argument_value(1, X),
    read_from_atom(X, T),
    call(T).
	Creating simple CLI programs with GNU Prolog

	This template shows how to compile a knowledge base to machine code and execute arbitrary Prolog queries against it by passing them as CLI arguments to a binary.

	Output comes out on stdout with no banners or other rubbish.