Prolog Programs

allcoin.pro-- Compute Change
combi.pro-- Combinatory logic (see Smullyan's "To Mock a Mocking bird)
cut.pro-- Prolog Meta interpreter with Cuts in Prolog.
dtlp.pro-- Dense Time logic programming interpreter
dydx.pro-- Symbolic Differentiation
flat.pro-- Flatten prolog list
grammar.pro-- English Grammmar
indent-list.pro-- Indent prolog Lists
inlpq.pro-- Intelligent Natural Language Query Parser
itl-quin.pro-- Interval Temporal Logic Interpreter in Quintus Prolog on VAX 785.
itl.pro-- Interal Temporal Logic Interpreter
lib.pro-- Prolog Library
ot.pro-- Oridinal Trees
translate-char.pro-- Translate Characters, but why?
travel.pro-- Find Railway routes thru Indian Railways
valid1.pro-- First Order Logic Theorem Prover (Gentzen System, see Gallier)
-- GPL(C) Mohsin Ahmed