933 search results - page 102 / 187 » Multi-paradigm Declarative Languages |
163
Voted
META
1992
15 years 8 months ago
1992
A meta-level extension of a logic programming language is presented. The resulting language, called 'LOG (read quote-log), provides meta-programming facilities similar to thos...
138
Voted
ENTCS
2007
15 years 4 months ago
2007
Automated deduction methods should be speciļ¬ed not procedurally, but declaratively, as inference systems which are proved correct regardless of implementation details. Then, diļ...
143
click to vote
PPDP
2010
Springer
15 years 2 months ago
2010
Springer
Most Prolog implementations are implemented in low-level languages such as C and are based on a variation of the WAM instruction set, which enhances their performance but makes th...
129
click to vote
PPDP
2010
Springer
15 years 2 months ago
2010
Springer
Transaction Logic is a logic for representing declarative and procedural knowledge in logic programming, databases, and AI. It has been successful in areas as diverse as workflows...
147
click to vote
CONSTRAINTS
2010
15 years 1 months ago
2010
MiniZinc arose as a response to the extended discussion at CP2006 of the need for a standard modelling language for CP. This is a challenging problem, and we believe MiniZinc makes...