Software Search - zbMATH Open

HiLog

swMATH ID:	1580
Software Authors:	Weidong Chen; Michael Kifer; David S. Warren
Description:	HiLog: A foundation for higher-order logic programming. We describe a novel logic, called HiLog, and show that it provides a more suitable basis for logic programming than does traditional predicate logic. HiLog has a higher-order syntax and allows arbitrary terms to appear in places where predicates, functions, and atomic formulas occur in predicate calculus. But its semantics is first-order and admits a sound and complete proof procedure. Applications of HiLog are discussed, including DCG grammars, higher-order and modular logic programming, and deductive databases.
Homepage:	http://www.sciencedirect.com/science/article/pii/074310669390039J
Keywords:	query language; HiLog
Related Software:	Hiord; swrl; Haskell; Smodels; XSB; Twelf; ML; OntoDLV; DLV-EX; FaCT++; Pellet; ETPS; FLORA; PERL; INGRES; VAMPIRE; SETHEO; MASTRO; Vadalog; Datalog
Cited in:	47 Publications

all top 5

6	Kifer, Michael
6	Rondogiannis, Panos
5	Symeonidou, Ioanna
3	Charalambidis, Angelos
3	Denecker, Marc
3	Janssens, Gerda
3	Lipton, James B.
3	van der Hallen, Matthias
2	Cabeza, Daniel
2	Dasseville, Ingmar
2	Hermenegildo, Manuel V.
2	Lakshmanan, Laks V. S.
2	Leone, Nicola
2	Liang, Senlin
2	Ricca, Francesco
2	Van den Bussche, Jan
2	Van Gucht, Dirk
2	Vossen, Gottfried
2	Yang, Guizhen
1	Amato, Gianluca
1	Analyti, Anastasia
1	Antoniou, Grigoris
1	Balaban, Mira
1	Baral, Chitta R.
1	Benedikt, Michael A.
1	Bhowmick, Sourav S.
1	Biernacki, Dariusz
1	Bogaerts, Bart
1	Boley, Harold
1	Brand, Per
1	Bry, François
1	Casas, Amadeo
1	Chen, Weidong
1	Costantini, Stefania
1	Danvy, Olivier
1	de Bruijn, Jos
1	De Schreye, Danny
1	Dell’Armi, Tina
1	Duchier, Denys
1	Dzifcak, Juraj
1	Eiter, Thomas
1	Fodor, Paul
1	Formisano, Andrea
1	Gallucci, Lorenzo
1	Gonzalez-Moreno, Juan Carlos
1	Grasso, Giovanni
1	Grosof, Benjamin N.
1	Haridi, Seif
1	Henz, Martin
1	Heymans, Stijn
1	Hortala-Gonzalez, Maria Teresa
1	Ianni, Giovambattista
1	Krennwallner, Thomas
1	Lausen, Georg
1	Lenzerini, Maurizio
1	Lepore, Lorenzo
1	Lovrenčić, Alen
1	Madria, Sanjay Kumar
1	Majkić, Zoran
1	Martens, Bern
1	McGrail, Robert W.
1	Motik, Boris
1	Neven, Frank
1	Ng, Wee Keong
1	Nieva, Susana
1	Nomikos, Christos
1	Papakonstantinou, Yannis
1	Paramonov, Sergey
1	Pientka, Brigitte
1	Poggi, Antonella
1	Prokosch, Thomas
1	Puppis, Gabriele
1	Rodríguez-Artalejo, Mario
1	Sadri, Fereidoon
1	Schindlauer, Roman
1	Schulte, Christian
1	Subramanian, Iyer N.
1	Takahashi, Hiro
1	van Emden, Maarten H.
1	Van Roy, Peter
1	Vassalos, Vasilis
1	Viegas Damásio, Carlos
1	Vu, Huy
1	Wan, Hui
1	Warren, David Scott

all top 5

6	Theory and Practice of Logic Programming
4	Theoretical Computer Science
4	The Journal of Logic Programming
3	Annals of Mathematics and Artificial Intelligence
2	Journal of Logic and Computation
2	Fundamenta Informaticae
1	Artificial Intelligence
1	Journal of the Association for Computing Machinery
1	Journal of Computer and System Sciences
1	Information and Computation
1	Journal of Automated Reasoning
1	Information Systems
1	Zbornik Radova (Varaždin)
1	Journal of Applied Logic
1	Logical Methods in Computer Science

47	Computer science (68-XX)
5	Mathematical logic and foundations (03-XX)