 |
|
|
|
 |
egories |
 |
|
New Addition |
|
|
|
 |
Details: |
 |
|
A bibliography on logic programming is supplemented with a survey of conferences, journals, series of books, organizations and related subjects.
Sponsored Links:
|
| URL: |
http://www.informatik.uni-trier.de/~ley/db/conf/indexl.html
|
| Title: |
DBLP Bibliography |
| Description: |
Computers, Programming, Languages, Logic-based - DBLP: Logic Programming. A bibliography on logic programming is supplemented with a survey of conferences, journals, series of books, organizations and related subjects. |
| 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 ...
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 ...
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 ...
BMO Financial Group Announces Agreement to Acquire the Diners Club North American Franchise From Citigroup (Popularity: ): Gives BMO exclusive rights to issue Diners Club cards in North America;
clients will benefit from worldwide acceptance and ability ...
Infant Entrapment and Suffocation Prompts Stork Craft to Recall More Than 2.1 Million Drop-Side Cribs (Popularity: ): The U.S. Consumer Product Safety Commission (CPSC), in cooperation with Stork Craft Manufacturing Inc., of British Columbia, Canada, today announced ...
|
|
Related Articles |
|
|
|
 |
|
 |
| |
| | |
|
|
|
© 2003-2008, ABC-Directory.Com. All Rights Reserved
|
|
|
 |
|
 |
|
