 |
|
|
|
 |
egories |
 |
|
New Addition |
|
|
|
 |
Details: |
 |
|
A research-oriented Logic Programming system for Unix and Windows/DOS-based systems, representing a semantically enriched functional superset of Prolog and offering among other things evaluation through full SLG resolution.
Sponsored Links:
|
| URL: |
http://xsb.sourceforge.net/
|
| Title: |
XSB |
| Description: |
Computers, Programming, Languages, Logic-based - XSB. A research-oriented Logic Programming system for Unix and Windows/DOS-based systems, representing a semantically enriched functional superset of Prolog and offering among other things evaluation through full SLG resolution. |
| 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 ...
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 ...
PC AI - Logic Programming (Popularity: ): As part of a survey of information on artificial intelligence this section on logic programming is provided.
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 |
|
TiVo Reports Results for the Third Quarter Fiscal Year 2010 Ended October 31, 2009 (Popularity: ): TiVo Inc. (Nasdaq: TIVO), the creator of and a leader in television services for digital video recorders (DVRs), today reported ...
The Conference Board Consumer Confidence Index(R) Edges Up (Popularity: ): The Conference Board Consumer Confidence Index®, which had declined in October, increased slightly in November. The Index now stands at ...
FDA Consumer Health Information: Food Safety Tips for Healthy Holidays (Popularity: ): Parties, family dinners, and other gatherings where food is served are all part of the holiday cheer. But the merriment ...
Survey: 90 Percent of Consumers to Shop Online this Holiday Season; Majority Have Security Concerns (Popularity: ): A new exclusive survey from Sunbelt Software, a leading provider of Windows security software, reveals that more than half (56 ...
Our Stock Picks for today (www.hypergrowthstock.com) 25th Nov. 2009 (Popularity: ): CLF, BDGH, KNDR, AWSL, VGPR Current HOT Watch List
MIAMI, Nov. 25th 2009 (M2 PRESSWIRE via COMTEX) – HyperGrowthStocks.com is pleased ...
|
|
Related Articles |
|
|
|
 |
|
 |
| |
| | |
|
|
|
© 2003-2008, ABC-Directory.Com. All Rights Reserved
|
|
|
 |
|
 |
|
