Skip to content

pidhii/astari

Repository files navigation

A*I

pl

Tiny Prolog interpreter with first-class continuations.

Builtins are in WIP, see ./pl/README.md for the status.

About

Attempt at combining strict formal logics with ML to attack NP decision-making problems

Resources

Stars

0 stars

Watchers

0 watching

Forks

Releases

No releases published

Packages

 
 
 

Contributors