ex5: init prolog

assignment5/.gitignore

@@ -0,0 +1 @@
+ass5.pdf

assignment5/Makefile

@@ -0,0 +1,9 @@
+PROLOG = swipl
+.PHONY: run clean
+all: run/main.pl
+run/%:
+	@$(PROLOG) -f $* -t halt -q
+consult/%:
+	@$(PROLOG) -f $* -q
+clean:
+	rm -f *.qlf

assignment5/test.pl

@@ -0,0 +1,19 @@
+parent(tom, bob).
+parent(tom, liz).
+parent(bob, ann).
+parent(bob, pat).
+parent(pat, jim).
+
+grandparent(X, Z) :- parent(X, Y), parent(Y, Z).
+ancestor(X, Y) :- parent(X, Y).
+ancestor(X, Y) :- parent(X, Z), ancestor(Z, Y).
+
+:- initialization(main).
+
+main :-
+    write('Grandparents of jim: '),
+    findall(X, grandparent(X, jim), Grandparents),
+    write(Grandparents), nl,
+    write('Ancestors of jim: '),
+    findall(X, ancestor(X, jim), Ancestors),
+    write(Ancestors), nl.

flake.nix

@@ -18,6 +18,7 @@
           sbt
           scala
           scalafmt
+          swi-prolog
         ];
         shellHook = ''
           echo "enjoy m*oz*art2"