BeBits Information Developer Central Submit Application Your Account Web Links Contact Us
BeBits
lparse + smodels
version 1
contact publisher
home page
screenshots
version history
other reviews
send updates for this application
talkback
0 comments
 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 Give this application a rating
 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
 
 
Dev LinkLink reliability rating  [rating: 10]    Download this app  Report bad link Applications
 
Add Additional Location
 
Intel Version   (600 KB) 181 downloads
 
 
Dev LinkLink reliability rating  [rating: 10]    Download this app  Report bad link Source and more examples
 
Add Additional Location
  Source Available
 
Related Links:
Post your own comment to the Talkback for this application!
Report a problem with the listing for this application!
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.
 
The Green Board
  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

 
Unless otherwise noted, everything is copyright © 1999-2011 Haikuware. All Rights Reserved.
For more legal trivia, take a gander at our
Legal Stuff page and our Privacy Statement.