https://github.com/tatut/toplis

TOy Prolog LISp
https://github.com/tatut/toplis

Last synced: 3 days ago
JSON representation

TOy Prolog LISp

• Host: GitHub
• URL: https://github.com/tatut/toplis
• Owner: tatut
• License: mit
• Created: 2023-11-08T14:39:39.000Z (about 1 year ago)
• Default Branch: main
• Last Pushed: 2023-11-09T05:29:27.000Z (about 1 year ago)
• Last Synced: 2024-11-21T12:08:34.787Z (2 months ago)
• Language: Prolog
• Size: 7.81 KB
• Stars: 0
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# TOPLIS

TOPLIS is a TOy Prolog LISp implementation.

This is an exercise in minimal lisp implementation and should not be used for anything

other than learning purposes!

## Running

Run with SWI-Prolog and invoke the goal `repl.` to start a REPL session.

```

% swipl toplis.pl

...

?- repl.

|: (def plus (a b) (+ a b))

=> plus

|: (plus (* 4 10) 2)

=> 42

```

Run the test suite with the goal `run_tests(toplis).`