|
|
 |
Published by BeAthlon
Click here for more information about this publisher...
|
|
|
Date Posted: |
January 28th, 2006
|
|
|
Last Updated: |
January 28th, 2006
|
|
|
License: |
GPL |
|
|
Downloads: |
357 total; 111 recently |
|
|
Page Views: |
7,960 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) |
176 downloads |
|
|
|
|
|
| |
  |
[rating: 10] |
|
|
Applications |
|
|
| Add Additional Location |
|
| |
|
|
Intel Version (600 KB) |
181 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.
|
|
|
|
|
|
|
 |
|
|
|
|
|
|
|
|
 |
| |
Recent Downloads - # 864
Total Downloads - # 3,256
Total Views - # 3,096
User Ratings - N/A
|
|
|
|
 |
| |
Dev. Languages
|
|
|
|
 |
|
1. BePodder - 9.80
2. QEMU - 9.68
3. ScummVM - 9.57
4. Jukebox - 9.44
5. Haiku AGP busm... - 9.35
6. cpu_fix - 9.31
7. vim6 - 9.31
8. VNCServer - 9.30
9. Beezer - 9.26
10. HandBrake - 9.25
|
|
|
|
 |
|
1. Ati Radeon G... - 32,893
2. BeOS 5 Perso... - 32,461
3. Realtek RTL8... - 20,354
4. Ensoniq Audi... - 17,698
5. USB Joystick... - 16,559
6. BePDF - 15,353
7. ATI Rage 128... - 13,355
8. S3 Trio 64 v... - 10,305
9. VLC Media Pla... - 9,562
10. DOSBox - 9,475
|
|
|
|
 |
| You are not logged in.
Login
|
|
|
|
 |
|
