|
|
 |
Published by BeAthlon
Click here for more information about this publisher...
|
|
|
Date Posted: |
January 28th, 2006
|
|
|
Last Updated: |
January 28th, 2006
|
|
|
License: |
GPL |
|
|
Downloads: |
220 total; 1 recently |
|
|
Page Views: |
4,851 total |
|
|
User Rating: |
awaiting 10 votes |
 |
|
Jump to the Downloads section |
|
|
|
About lparse + smodels:
Two nice apps for answer set programming: The program smodels is an implementation of the stable model semantics for logic programs. Lparse is the front-end. Compiled with Zeta1.1 but it should work with BeOS too.
It comes with a nice Sudoku example.
The program smodels is an implementation of the stable model semantics for logic programs. Smodels can be used either as a C++-library that can be called from user programs or as a stand-alone program together with a suitable front-end. The main front-end is lparse.
Smodels works with variable-free programs that are quite cumbersome to generate by hand. Lparse is a front-end that adds variables (and a lot of other stuff) to the accepted language and generates a variable-free simple logic program that can be given to smodels. Lparse also implements several other semantics (classical negation, partial stable models) by translating them into normal logic programs.
|
|
|
 |
Latest Version |
 |
|
|
| |
|
|
Details about this version:
smodels-2.28
lparse-1.0.17
|
| |
|
|
Intel Version - requires Zeta (800 KB) |
106 downloads |
|
|
|
|
|
| |
  |
[rating: 10] |
|
|
Applications |
|
|
| Add Additional Location |
|
| |
|
|
Intel Version (600 KB) |
114 downloads |
|
|
|
|
|
| |
|
[rating: 10] |
|
|
Source and more examples |
|
|
| Add Additional Location |
|
|
|
|
| Source Available |
|
 |
|
 |
|
Like this app? Have questions or comments?
Why not tell the author? Use the "e-mail publisher" link to get in touch with the publisher; they usually love getting feedback.
|
|
|
