franz inc logo  
  download techcorner franz inc franz inc store search franz inc          

products
  Allegro CL
     Packages/Pricing
     Licensing Options
  AllegroCache
     Download
  NFS for Windows
  Open Source Tools
  Pepito
  Semantic Technologies
services
support
about
success
resources

RSS Feeds

AllegroServe at opensource.franz.com

Allegro Prolog

A classic AI programming language in Allegro CL for Logic Programming

  • Provides Prolog as an integrated extension for Common Lisp programs
  • Based on the implementation developed by Peter Norvig
  • All rules for a given functor/arity pair are automatically compiled into a single, highly-optimized Lisp function, execution speed in excess of 1 Mlips can be attained on typical hardware
  • The Prolog engine has been optimized to run essentially cons free
  • Allegro Prolog does not attempt to be ISO compliant or implement the entire language. Many standard Prolog arithmetic, predicate operators, and I/O operators are not implemented, as they are a subset of the standard Common Lisp operators
  • The documentation for Allegro Prolog is here.

    Visit the Tech Corner for more details.

     

    © 2008 Franz Inc - Privacy Statement
    [ Consulting Services | Packages/Pricing | Allegro NFS | Certification Program ]