
kProbLog
 Referenced in 5 articles
[sw18492]
 kProbLog: an algebraic Prolog for kernel programming. kProbLog is a simple algebraic extension of Prolog ... kProbLog allows to elegantly specify systems of algebraic expressions on databases. We propose some code...

Lugares
 Referenced in 19 articles
[sw09861]
 Lugares is a Windows program written in Prolog that offers a standard dynamic geometry environment ... symbolic capabilities of CoCoA, a computer algebra system specialized in Groebner basis computations, or Mathematica...

PRESS
 Referenced in 4 articles
[sw21327]
 with PRESS. We outline a program, PRESS (PRolog Equation Solving System) for solving symbolic, transcendental ... broader field of symbolic and algebraic manipulation...

jDALMAS
 Referenced in 1 article
[sw30594]
 algebraic notation based on the KangerLindahl theory of normative positions. A generallevel Prolog...

COMPAS
 Referenced in 15 articles
[sw00147]
 In this paper we describe COMPAS  the open...

Coq
 Referenced in 1906 articles
[sw00161]
 Coq is a formal proof management system. It...

MiniSat
 Referenced in 584 articles
[sw00577]
 An extensible SATsolver. MiniSat is a minimalistic...

SETHEO
 Referenced in 122 articles
[sw00707]
 SETHEO: A highperformance theorem prover. The paper...

R
 Referenced in 10196 articles
[sw00771]
 R is a language and environment for statistical...

Cayley
 Referenced in 131 articles
[sw01053]
 An introduction to the Group Theory Language, Cayley...

NAXPERT
 Referenced in 6 articles
[sw01117]
 NAXPERT: A prototype expert system for numerical software...

MACSYMA
 Referenced in 721 articles
[sw01209]
 Macsyma is a general purpose symbolicnumericalgraphical...

ML
 Referenced in 524 articles
[sw01218]
 ML (’Meta Language’) is a generalpurpose functional...

Modula
 Referenced in 197 articles
[sw01224]
 The Modula programming language is a descendant of...

PERL
 Referenced in 274 articles
[sw01225]
 Programming Perl. Perl is a language for easily...

ALGOL 68
 Referenced in 291 articles
[sw01226]
 ALGOL 68 (short for ALGOrithmic Language 1968) is...

COBOL
 Referenced in 237 articles
[sw01228]
 COBOL (/ˈkoʊbɒl/, an acronym for common businessoriented...

Smalltalk
 Referenced in 190 articles
[sw01561]
 Smalltalk is an objectoriented, dynamically typed, reflective...

HiLog
 Referenced in 51 articles
[sw01580]
 HiLog: A foundation for higherorder logic programming...