GitHub

A Prolog program that tells you how to get certain monsters in the DS remake of SaGa 2: Hihou Densetsu.

So far, it has two predicates: meat(Eater,Meat,Result), and meatchain(Eater,Result,Meatchain). All you have to do is compile the .pl file in a garden-variety Prolog ...
GitHub

jordan-public/zircuit-prolog-preexectution

The program would be defined in Prolog, which produces relatively short execution trace (P-size for NP-time problem). A succinct ZK proof would be generated in P-time, where the proof would be ...
IEEE

Goal-independent Semantics for Path Dependent Analysis of Prolog Programs

Abstract: Considering the execution path and cut operators of a Prolog program can improve the precision of program analysis. Known semantics for Prolog either makes use of limited amount of path ...
JSTOR Daily

An evaluation of APT: an Animated Program Tracer for novice Prolog programmers

Instructional Science, Vol. 20, No. 2/3, Special Issue: Teaching, Learning and Using Prolog (1991), pp. 89-110 (22 pages) This paper describes an approach to evaluating the usefulness of an Animated ...