Get the latest tech news
AP5 - Declarative Programming Library For Common Lisp (1995)
G. Allard http://oceanpark.com March 29, 1990 minor revisions: December 11, 1996, October 29, 2014, August 12, 2022 This is a ruthlessly abridged presentation of AP5, a high level language, currently implemented as an extension to Common Lisp.
Updates operate on named relations, accessors on arbitrary wffs, stated in a reverse Cambridge variant of first order logic syntax. In the above code we use Lisp constructs such as LET which binds two local variables (borrower and reserver) to a result returned by the AP5 macro "theonly". The extreme annotation tells AP5 what that original wff meant and enables AP5 to select a better algorithm for computing tuples of first-reserver.
Or read this on Hacker News
