 |
|
|
|
 |
egories |
 |
 |
New Addition |
 |
|
|
 |
Details: |
 |
|
As part of a survey of information on artificial intelligence this section on logic programming is provided.
Sponsored Links:
|
| URL: |
http://www.pcai.com/web/ai_info/logic_programming.html
|
| Title: |
PC AI - Logic Programming |
| Description: |
Computers, Programming, Languages, Logic-based - PC AI - Logic Programming. As part of a survey of information on artificial intelligence this section on logic programming is provided. |
| Specialized in: |
|
|
 |
|
 |
KLIC Association (Popularity: ): Develops and popularizes KLIC implementation of concurrent and parallel logic programming language KL1, and related software. Designed in the Fifth ...
XSB (Popularity: ): A research-oriented Logic Programming system for Unix and Windows/DOS-based systems, representing a semantically enriched functional superset of Prolog and offering ...
XE (Popularity: ): Resulting from the Exbed project, this general-purpose programming language supports data abstraction and rule-based programming and is based on but ...
DBLP: Logic Programming (Popularity: ): A bibliography on logic programming is supplemented with a survey of conferences, journals, series of books, organizations and related subjects.
The Maude System (Popularity: ): Maude is a reflective language based on equational rewrite principles, useful for modeling and solving a wide range of computational ...
SampleTalk Language and programming technology (Popularity: ): Build a program immediately from data processing examples: AI language, simpler than Prolog, based on generalization and matching of unconstrained ...
Starlog (Popularity: ): Declarative temporal logic programming language for: general purpose programming, simulation, modeling reactive systems. Starlog programs consist of 2 components: a ...
Logic-Based Systems Lab (Popularity: ): Department of Computer and Information Science, Brooklyn College of the City University of New York. Home of the 2LP Language, ...
TyRuBa (Popularity: ): Type Rule Base is an experimental logic/metaprogramming language for generating Java code. This BSD-licensed free software resembles Prolog, is implemented ...
What are Logic Programming and Prolog? (Popularity: ): Clear explanation of logic programming, and merits of declarative languages.
|
 |
Popular Sites |
 |
The Maude System (Popularity: ): Maude is a reflective language based on equational rewrite principles, useful for modeling and solving a wide range of computational ...
DBLP: Logic Programming (Popularity: ): A bibliography on logic programming is supplemented with a survey of conferences, journals, series of books, organizations and related subjects.
KLIC Association (Popularity: ): Develops and popularizes KLIC implementation of concurrent and parallel logic programming language KL1, and related software. Designed in the Fifth ...
LPG (Popularity: ): Generic functional logic language: functions defined by conditional rewrite rules, predicates defined by Horn clauses whose bodies may contain equations, ...
Elf Meta-Language (Popularity: ): Constraint-logic programming language based on LF Logical Framework; a uniform meta-language for specifying, implementing, and proving properties of programming languages ...
|
 |
Related Press |
 |
 |
Related Articles |
 |
|
|
 |
|
 |
| |
| | |
|
|
|
© 2003-2008, ABC-Directory.Com. All Rights Reserved
|
|
|
 |
|
 |
|