BeBits Information Developer Central Submit Application Your Account Web Links Contact Us
BeBits
Please support our sponsors!
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: 220 total; 1 recently
 Page Views: 4,851 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) 106 downloads
 
 
Dev LinkLink reliability rating  [rating: 10]    Download this app  Report bad link Applications
 
Add Additional Location
 
Intel Version   (600 KB) 114 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.
 
BeGroovy
  Recent Downloads  -  # 517
Total Downloads  -  # 3,313
Total Views  -  # 3,152
User Ratings  -  N/A
  Dev. Languages
1.  QEMU - 9.62
2.  ScummVM - 9.50
3.  cpu_fix - 9.42
4.  Jukebox - 9.36
5.  Haiku AGP busm... - 9.35
6.  vim6 - 9.31
7.  Transmission - 9.27
8.  Beezer - 9.25
9.  BeeF - 9.25
10.  HandBrake - 9.24
1.  Ati Radeon Grap... - 362
2.  Realtek RTL8139... - 254
3.  BeOS 5 Personal... - 243
4.  ATI Rage 128 Pr... - 156
5.  USB Serial driver - 129
6.  Firefox - 118
7.  DjVu Viewer - 102
8.  Broadcom 440x 1... - 101
9.  S3 Trio 64 v2 DX... - 93
10.  Ensoniq AudioPCI... - 80
You are not logged in.
 Login or create an account...
Hosted by NetConnect

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