Here are the all information related to computer including software, hardware, data base, programming, code, notebook, computer store, computer problems, buy and sales computer, configuration management and much more.

Logic-based

Sort listings by: Alphabetic Date Rank Clicks    ascending | descending
A pure, minimal but extensible, logic-programming/specification language with meta-language capability is described. The paradigm involved explicitly separates declarative specification from ensuing transformation.
http://www.axiomaticlanguage.org/
PageRank: 0/10
Develops and popularizes KLIC implementation of concurrent and parallel logic programming language KL1, and related software. Designed in the Fifth Generation Computer Systems (FGCS) project, by Institute for New Generation Computer Technology (ICOT), Japan. Free software.
http://www.klic.org/
PageRank: 0/10
A logic-based query and transformation language for XML and semistructured data.
http://xcerpt.org/
PageRank: 0/10