Search results for "Prolog"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
19	Grazyna Brzykcy	Data Integration in a System with Agents' Models.	KES-AMSTA	2008	DBLP DOI BibTeX RDF	Prolog-like computations, unification, schema mapping, query rewriting, P2P system, XML data
19	William C. Benton, Charles N. Fischer	Interactive, scalable, declarative program analysis: from prototype to implementation.	PPDP	2007	DBLP DOI BibTeX RDF	tabled prolog, java, logic programming, prototyping, program analysis, bytecodes
19	Grazyna Brzykcy, Jerzy Bartoszek	Context in Rules Used in P2P Semantic Data Integration System.	RR	2007	DBLP DOI BibTeX RDF	context-aware processes, Prolog-like computations, operational semantics, P2P system, situation theory
19	Susana Muñoz-Hernández, José Manuél Gómez-Pérez	Solving Collaborative Fuzzy Agents Problems with CLP(FD).	PADL	2005	DBLP DOI BibTeX RDF	Fuzzy Prolog, Constraint Programming Application, Multi-Agent Systems, Finite Domains, Collaborative Agents, Modeling Uncertainty, (Constraint) Logic Programming
19	Paul Tarau	Agent oriented logic programming in Jinni 2004.	SAC	2005	DBLP DOI BibTeX RDF	agent programming constructs, agents and logic programming, multi-threaded prolog systems, distributed AI, agent communication protocols
19	Hai-Feng Guo, Bharat Jayaraman, Gopal Gupta 0001, Miao Liu	Optimization with mode-directed preferences.	PPDP	2005	DBLP DOI BibTeX RDF	preference logic programming, tabled prolog, mode
19	Augustin Lux	The Imalab method for vision systems.	Mach. Vis. Appl.	2004	DBLP DOI BibTeX RDF	Vision library, C + +, Prolog, Lisp, Computer vision systems
19	Jesús Correas, José M. Gómez, Manuel Carro, Daniel Cabeza, Manuel V. Hermenegildo	A Generic Persistence Model for (C)LP Systems (and Two Useful Implementations).	PADL	2004	DBLP DOI BibTeX RDF	Databases, Prolog, Query Optimization, Persistency
19	Yi-Dong Shen, Jia-Huai You, Li-Yan Yuan, Samuel S. P. Shen, Qiang Yang 0001	A dynamic approach to characterizing termination of general logic programs.	ACM Trans. Comput. Log.	2003	DBLP DOI BibTeX RDF	dynamic characterization, Prolog, Termination analysis
19	Neng-Fa Zhou, Taisuke Sato	Efficient fixpoint computation in linear tabling.	PPDP	2003	DBLP DOI BibTeX RDF	linear tabling, prolog, recursion, tabling, optimization techniques, memoization
19	G. Michael McGrath	A Process Modelling Framework: Capturing Key Aspects of Organizational Behavior.	Australian Software Engineering Conference	1997	DBLP DOI BibTeX RDF	software process modelling framework, organisational behaviour capture, organisation management, social science literature, formal modelling approaches, evaluation environments, persistent process models, software engineering process modelling framework, behavioural aspects, highly abstracted conceptual model, systems dynamics modelling tool, human factors, Prolog, rapid prototyping, systems analysis, modelling formalisms, user views
19	Zdenek Kotásek, F. Zboril	RT level testability analysis to reduce test application time.	EUROMICRO	1997	DBLP DOI BibTeX RDF	register transfer level testability analysis, RTL element classification, RTL circuit transformation, labelled directed graph, PROLOG environment, implementation principles, logic testing, test application time reduction
19	Yi Tao 0001, William I. Grosky, Chunnian Liu	An Automatic Partial Deduction System for Constraint Logic Programs.	ICTAI	1997	DBLP DOI BibTeX RDF	partial deduction(partial evaluation), CLP(Bool), CLP(R), Prolog, constraint logic programming
19	Todd A. Proebsting	Simple Translation of Goal-Directed Evaluation.	PLDI	1997	DBLP DOI BibTeX RDF	Prolog
19	Peter Van Roy, Michael Mehl, Ralf Scheidhauer	Integrating Efficient Records into Concurrent Constraint Programming.	PLILP	1996	DBLP DOI BibTeX RDF	Concurrent Constraint, Natural-Language Processing, Logic Programming, Prolog, Implementation, Record
19	Nancy S. Eickelmann, Debra J. Richardson	An Evaluation of Software Test Environment Architectures.	ICSE	1996	DBLP BibTeX RDF	CITE, CONVEX Integrated Test Environment, PROLOG Test Environment, Version II, PROTest II, Software Architectural Analysis Method, TAOS, Testing with Analysis and Oracle Support, architecturally imposed constraints, environment functions allocation, implementation structures, processing algorithms, software test environment architectures, test development, test failure analysis, test measurement, test process automation, performance, software architecture, programming environments, program testing, software reusability, extensibility, reusability, software performance evaluation, portability, functionality, computer aided software engineering, software portability, testing tools, data representation, reference architecture, modifiability, test management, modifications, test planning, test execution, SAAM
19	Bruce G. Batchelor, Paul F. Whelan	Real-time colour recognition in symbolic programming for machine vision systems.	Mach. Vis. Appl.	1995	DBLP DOI BibTeX RDF	Teaching by showing, Real-time colour recognition, PROLOG, Systems engineering, Machine vision
19	Enrico Pontelli, Gopal Gupta 0001	On the Duality Between Or-parallelism and And-parallelism in Logic Programming.	Euro-Par	1995	DBLP DOI BibTeX RDF	Optimizations, Prolog, Or-parallelism, And-parallelism
19	Zahava Scherz, Bruria Haberman	Logic programming based curriculum for high school students: the use of abstract data types.	SIGCSE	1995	DBLP DOI BibTeX RDF	Prolog
19	Shinichi Honiden, Kazuhiko Nishimura, Naoshi Uchihira, Kiyoshi Itoh	An Application of Artificial Intelligence to Object-Oriented Performance Design for Real-Time Systems.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	object-oriented performance design, rapid prototyping method, OOPD, prototyping phases, prototype construction, prototype execution, artificial intelligence based methods, rapid construction mechanism, hybrid inference mechanism, declarative knowledge representation, MENDEL, Prolog based concurrent object-oriented language, prototype construction tool, real-time systems, real-time systems, artificial intelligence, object-oriented programming, knowledge representation, expert systems, expert system, software reusability, inference mechanisms, object-oriented languages, parallel languages, software prototyping, qualitative reasoning, reusable software components, prototype evaluation
19	William W. McMillan, Michael Zeiger, Lech Wisniewski	A rule-based system that suggests computer adaptations for users with special needs.	ASSETS	1994	DBLP DOI BibTeX RDF	Prolog
19	Henrik Arro, Jonas Barklund, Johan Bevemyr	Parallel Bounded Quantification - Preliminary Results.	ACM SIGPLAN Notices	1993	DBLP DOI BibTeX RDF	Prolog
19	Éric Villemonte de la Clergerie	Layer Sharing: An Improved Structure-Sharing Framework.	POPL	1993	DBLP DOI BibTeX RDF	Prolog
19	Louis-François Pau, T. Götzsche	Explanation facility for neural networks.	J. Intell. Robotic Syst.	1992	DBLP DOI BibTeX RDF	explanation facilities, input characterization grammar, Neural networks, Prolog, text generation
19	Tom Routen	Reusing formalisations of legislation in a tutoring system.	Artif. Intell. Rev.	1992	DBLP DOI BibTeX RDF	reusing knowledge, statutes, prolog, intelligent tutoring systems, legislation
19	Michel Billaud	Axiomatizations of Backtracking.	STACS	1992	DBLP DOI BibTeX RDF	foundations of logic programming, equivalence of program schemes, Prolog, backtracking, depth-first search, algebraic semantics, semantics of programming languages
19	Joxan Jaffar, Spiro Michaylov, Peter J. Stuckey, Roland H. C. Yap	An Abstract Machine for CLP(R).	PLDI	1992	DBLP DOI BibTeX RDF	Prolog
19	David Ben-Arieh, Oded Maimon	Multiple robot programming using a concurrent logic language.	J. Intell. Robotic Syst.	1991	DBLP DOI BibTeX RDF	logic programming, programming languages, concurrent programming, Multi-robot system, concurrent Prolog
19	Gerald M. Karam, Raymond J. A. Buhr	Temporal Logic-Based Deadlock Analysis For Ada.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	temporal logic-based specification language, deadlock analyzer, Timebench, concurrent system-design environment, COL, linear-time temporal logic, formal basis, axiomatic reasoning, deadlock analysis tool, reasoning power, Ada designs, systemwide deadlock-free, deadlock algorithm, finite systems, worst-case computational complexity, gas station, layered communications system, computational complexity, Ada, logic programming, temporal logic, Prolog, specification language, specification languages, inference mechanisms, system recovery, theorem prover, readers, dining philosophers, writers
19	Annalisa Bossi, Nicoletta Cocco, Massimo Fabris	Proving Termination of Logic Programs by Exploiting Term Properties.	TAPSOFT, Vol.2	1991	DBLP DOI BibTeX RDF	Prolog programs, norm on terms, pre/post specifications, termination
19	David Hemmendinger	Specifying Ada Server Tasks with Executable Formal Grammars.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	Ada server tasks specification, executable formal grammars, concurrent programming problems, synchronization constructs, Prolog programs, formal specification, parallel programming, Ada, grammars
19	David Hildum, Jacques Cohen	A Language for Specifying Program Transformations.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	Prolog, program transformations, specification language, specification languages, language constructs
19	Philip T. Cox	Using Object-Orientation to Implement Logic Programming.	SIGSMALL/PC Symposium	1990	DBLP DOI BibTeX RDF	PROGRAPH, Prolog
19	Richard Rankin, Hal Berghel, T. Xu	Efficient Generation of Lexically Proper Palindromes.	SIGSMALL/PC Symposium	1990	DBLP DOI BibTeX RDF	Prolog
19	Ehud Gudes, Tsvi Kuflik, Amnon Meisels	An Expert Systems Based Methodology for Solving Resource Allocation Problems.	IEA/AIE (Vol. 1)	1990	DBLP DOI BibTeX RDF	Prolog
19	Evan Tick, Nobuyuki Ichiyoshi	Programming Techniques for Efficiently Exploiting Parallelism in Logic Programming Languages.	PPoPP	1990	DBLP DOI BibTeX RDF	Prolog
19	Grantham K. H. Pang	A blackboard system for the off-line programming of Robots.	J. Intell. Robotic Syst.	1989	DBLP DOI BibTeX RDF	PROLOG, Robot programming, blackboard systems
19	Raymond J. A. Buhr, Gerald M. Karam, Carol J. Hayes, C. Murray Woodside	Software CAD: A Revolutionary Approach.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	software CAD environment, Carleton embedded system design environment, CAEDE, visual paradigm, semantic depth, syntactic shallowness, skeleton Ada code, software engineering, embedded systems, performance analysis, Ada, Ada, CAD, software tools, Prolog, programming environments, automatic programming, automatic programming, abstract machines, temporal analysis, research project, tool development
19	Celal Batur, Vicken Kasparian	Application of a self tuner using fuzzy control technique.	IEA/AIE (1)	1989	DBLP DOI BibTeX RDF	Prolog
19	Claude Jard, Jean-François Monin, Roland Groz	Development of Véda, a Prototyping Tool for Distributed Algorithms.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	Veda, International Organisation for Standardization, simulator, protocols, distributed algorithms, distributed processing, software tool, software tools, Prolog, ISO, Estelle, prototyping tool
19	Shun-En Xie, Thomas W. Calvert	CSG-EESI: A New Solid Representation Scheme and a Conversion Expert System.	IEEE Trans. Pattern Anal. Mach. Intell.	1988	DBLP DOI BibTeX RDF	3D solid object representation, enhanced spherical image representation, pictorial models, C-PROLOG, VAX 11/750, CSG-EESI, computer vision, computer vision, expert system, expert systems, computerised pattern recognition, trees (mathematics), relational models, constructive solid geometry, geometric information
19	Jeffrey D. Ullman, Allen Van Gelder	Efficient tests for top-down termination of logical rules.	J. ACM	1988	DBLP DOI BibTeX RDF	Prolog
19	Goh Wee Leng	An Expert Autonomous Vacuum Cleaner Robot.	IEA/AIE (Vol. 1)	1988	DBLP DOI BibTeX RDF	Intel 8086, Prolog
19	Kit Po Wong, Chi Ping Tsang, Wan Yee Chan	Sherlock - a System for Diagnosing Power Distribution Ring Network Faults.	IEA/AIE (Vol. 1)	1988	DBLP DOI BibTeX RDF	Prolog, Smalltalk
19	Keith L. Clark, Steve Gregory	Parlog: Parallel Programming in Logic.	ACM Trans. Program. Lang. Syst.	1986	DBLP DOI BibTeX RDF	Prolog, PARLOG
19	José Carlos Ferreira Maia Neves	A logic interpreter to handle time and negation in logic data bases.	ACM Annual Conference	1984	DBLP DOI BibTeX RDF	Logic data base, Open world, Prolog, Query-by-example, Time stamping, Assumption, Negative information
19	Hasan Ural, Robert L. Probert	Automated testing of protocol specifications and their implementations.	Comput. Commun. Rev.	1984	DBLP DOI BibTeX RDF	Prolog
19	Verónica Dahl	On Database Systems Development Through Logic.	ACM Trans. Database Syst.	1982	DBLP DOI BibTeX RDF	rational database, Prolog
18	Pierpaolo Di Bitonto, Teresa Roselli, Veronica Rossano	Formative evaluation of a didactic software for acquiring problem solving abilities using Prolog.	IDC	2009	DBLP DOI BibTeX RDF	didactic software, user centred design, formative evaluation
18	Mohammed Fellahi, Albert Cohen 0001	Software Pipelining in Nested Loops with Prolog-Epilog Merging.	HiPEAC	2009	DBLP DOI BibTeX RDF
18	Luc De Raedt, Kristian Kersting, Angelika Kimmig, Kate Revoredo, Hannu Toivonen	Compressing probabilistic Prolog programs.	Mach. Learn.	2008	DBLP DOI BibTeX RDF	Network mining, Compression, Inductive logic programming, Statistical relational learning, Probabilistic logic, Theory revision, Biological applications
18	Wang Yu-gang, Ge Yin-mao, Yang Jian-xin	Research on Packet Filter Rules of the Firewall Based on Visual Prolog.	CSSE (1)	2008	DBLP DOI BibTeX RDF
18	Lingzhong Zhao, Tianlong Gu, Junyan Qian, Guoyong Cai	A Novel Test Case Generation Method for Prolog Programs Based on Call Patterns Semantics.	APLAS	2007	DBLP DOI BibTeX RDF
18	Chitta Baral, Juraj Dzifcak, Luis Tari	Towards Overcoming the Knowledge Acquisition Bottleneck in Answer Set Prolog Applications: Embracing Natural Language Inputs.	ICLP	2007	DBLP DOI BibTeX RDF
18	Ricardo Rocha 0001, Cláudio Silva 0001, Ricardo Lopes	On Applying Program Transformation to Implement Suspension-Based Tabling in Prolog.	ICLP	2007	DBLP DOI BibTeX RDF
18	Diptikalyan Saha, C. R. Ramakrishnan 0001	Incremental Evaluation of Tabled Prolog: Beyond Pure Logic Programs.	PADL	2006	DBLP DOI BibTeX RDF
18	Gergely Lukácsy	Description Logic Reasoning in Prolog.	ICLP	2006	DBLP DOI BibTeX RDF
18	Andy King, Lunjin Lu, Samir Genaim	Detecting Determinacy in Prolog Programs.	ICLP	2006	DBLP DOI BibTeX RDF
18	Benjamin Devèze, Caroline Chopinaud, Patrick Taillibert	ALBA: A Generic Library for Programming Mobile Agents with Prolog.	PROMAS	2006	DBLP DOI BibTeX RDF
18	Luc De Raedt, Kristian Kersting, Angelika Kimmig, Kate Revoredo, Hannu Toivonen	Revising Probabilistic Prolog Programs.	ILP	2006	DBLP DOI BibTeX RDF
18	Victor Dubinin, Valeriy Vyatkin, Hans-Michael Hanisch	Modelling and Verification of IEC 61499 Applications using Prolog.	ETFA	2006	DBLP DOI BibTeX RDF
18	Oskar Bartenstein	ubiCMS - A Prolog Based Content Management System.	INAP	2005	DBLP DOI BibTeX RDF
18	Hiroshi Sakai	On a Rough Sets Based Data Mining Tool in Prolog: An Overview.	INAP	2005	DBLP DOI BibTeX RDF
18	Ricardo Rocha 0001, Ricardo Lopes, Fernando M. A. Silva, Vítor Santos Costa	IMPACT: Innovative Models for Prolog with Advanced Control and Tabling.	ICLP	2005	DBLP DOI BibTeX RDF
18	Claudia Zepeda, Mauricio Osorio 0001, David Sol	Modeling Evacuation Planning Using A-Prolog.	CONIELECOMP	2005	DBLP DOI BibTeX RDF
18	Vinay D. Shet, David Harwood, Larry S. Davis	VidMAP: video monitoring of activity with Prolog.	AVSS	2005	DBLP DOI BibTeX RDF
18	Kenneth A. Hawick, Heath A. James, C. J. Scogings	A Virtual Prolog Approach to Implementing Beliefs, Desires and Intentions in Animat Agents.	Australian Conference on Artificial Intelligence	2005	DBLP DOI BibTeX RDF	Animat agents, desires and intentions, physical navigation and reasoning, beliefs
18	Stephen-John Craig, Michael Leuschel	LIX: an Effective Self-applicable Partial Evaluator for Prolog.	FLOPS	2004	DBLP DOI BibTeX RDF	Logic Programming, Partial Evaluation, Tupling, Deforestation, Partial Deduction, Self-application
18	Germán Puebla, Elvira Albert, Manuel V. Hermenegildo	Efficient Local Unfolding with Ancestor Stacks for Full Prolog.	LOPSTR	2004	DBLP DOI BibTeX RDF
18	Ricardo Rocha 0001, Fernando M. A. Silva, Rolando Martins	YapDss: An Or-Parallel Prolog System for Scalable Beowulf Clusters.	EPIA	2003	DBLP DOI BibTeX RDF	Stack Splitting, Or-Parallelism, Parallel Logic Programming
18	Bernd Fischer 0002, Eelco Visser	Adding Concrete Syntax to a Prolog-Based Program Synthesis System (Extended Abstract).	LOPSTR	2003	DBLP DOI BibTeX RDF
18	Andrés Cordón-Franco, Miguel A. Gutiérrez-Naranjo, Mario J. Pérez-Jiménez, Agustin Riscos-Núñez, Fernando Sancho-Caparrini	Implementing in Prolog an Effective Cellular Solution to the Knapsack Problem.	Workshop on Membrane Computing	2003	DBLP DOI BibTeX RDF
18	Ruben Vandeginste, Konstantinos Sagonas, Bart Demoen	Segment Order Preserving and Generational Garbage Collection for Prolog.	PADL	2002	DBLP DOI BibTeX RDF
18	Petr Olmer, Petr Stepánek	Schema-Based Transformations of Logic Programs in lambda-Prolog.	ICLP	2002	DBLP DOI BibTeX RDF
18	Mauricio Osorio 0001, Juan Antonio Navarro Pérez, José Arrazola	Debugging in A-Prolog: A Logical Approach.	ICLP	2002	DBLP DOI BibTeX RDF
18	Frederick Maier, Donald Nute, Walter D. Potter, Jin Wang, Mark J. Twery, H. Michael Rauscher, Peter Knopp, Scott Thomasma, Mayukh Dass, Hajime Uchiyama	PROLOG/RDBMS Integration in the NED Intelligent Information System.	OTM	2002	DBLP DOI BibTeX RDF
18	Monica L. Nogueira, Marcello Balduccini, Michael Gelfond, Richard Watson 0003, Matthew Barry	An A-Prolog Decision Support System for the Space Shuttle.	PADL	2001	DBLP DOI BibTeX RDF	logic programming, planning, answer set programming
18	Bruno Blanchet	An Efficient Cryptographic Protocol Verifier Based on Prolog Rules.	CSFW	2001	DBLP DOI BibTeX RDF
18	Karen Villaverde, Enrico Pontelli, Hai-Feng Guo, Gopal Gupta 0001	PALS: An Or-Parallel Implementation of Prolog on Beowulf Architectures.	ICLP	2001	DBLP DOI BibTeX RDF
18	Giorgio Delzanno	Specifying and Debugging Security Protocols via Hereditary Harrop Formulas and \lambda Prolog - A Case-study.	FLOPS	2001	DBLP DOI BibTeX RDF
18	Bruno Blanchet	Abstracting Cryptographic Protocols by Prolog Rules.	SAS	2001	DBLP DOI BibTeX RDF
18	Xining Li	IMAGO: A Prolog-Based System for Intelligent Mobile Agents.	MATA	2001	DBLP DOI BibTeX RDF
18	Donald Nute	Defeasible Logic.	INAP (LNCS Volume)	2001	DBLP DOI BibTeX RDF
18	Paulo Quaresma, Irene Pimenta Rodrigues	PGR: Portuguese Attorney General's Office Decisions on the Web.	INAP (LNCS Volume)	2001	DBLP DOI BibTeX RDF
18	Kathrin Böttger, Rolf Schwitter, Diego Mollá Aliod, Debbie Richards 0001	Towards Reconciling Use Cases via Controlled Language and Graphical Models.	INAP (LNCS Volume)	2001	DBLP DOI BibTeX RDF
18	Paul Tarau	Fluents: A Refactoring of Prolog for Uniform Reflection an Interoperation with External Objects.	Computational Logic	2000	DBLP DOI BibTeX RDF	logic programming language design and implementation, interoperation of declarative and stateful languages, meta- programming and reflection
18	Nikolay Pelov, Maurice Bruynooghe	Proving Failure of Queries for Definite Logic Programs Using XSB-Prolog.	LPAR	1999	DBLP DOI BibTeX RDF
18	John Hannan	Program Analysis in Lambda-Prolog.	PLILP/ALP	1998	DBLP DOI BibTeX RDF
18	Julian Richardson, Norbert E. Fuchs	Development of Correct Transformation Schemata for Prolog Programs.	LOPSTR	1997	DBLP DOI BibTeX RDF
18	Geoffrey Weyer, William H. Winsborough	Annotated Structure Shape Graphs for Abstract Analysis of Prolog.	PLILP	1996	DBLP DOI BibTeX RDF	Abstract Analysis, Structure Shape Graph, Unify Set, Compile-Time Garbage Collection, Update-In-Place, Structure Sharing, Sharing, Liveness, Aliasing, Type Graph
18	Bijan Arbab, Daniel M. Berry	Some Comments on "A Denotational Semantics for Prolog".	ACM Trans. Program. Lang. Syst.	1994	DBLP DOI BibTeX RDF	logic programming, operational semantics, denotational semantics
18	José Paulo Leal	A System to Visualize and Interact with Prolog Programs.	PLILP	1994	DBLP DOI BibTeX RDF
18	Christine Solnon, Michel Rueher	Extracting Inheritance Hierarchies from Prolog Programs: A System Based on the Inference of Type Relations.	LPAR	1993	DBLP DOI BibTeX RDF
18	Krzysztof R. Apt, Sandro Etalle	On the Unification Free Prolog Programs.	MFCS	1993	DBLP DOI BibTeX RDF
18	Hans Nilsson	The External Database in SICStus Prolog.	LPAR	1992	DBLP DOI BibTeX RDF
18	Vincenzo Loia, Giuseppe Cattaneo, Michel Quaggetto	Incremental, High Level Implementation of Prolog in an Open System Framework.	SEKE	1992	DBLP DOI BibTeX RDF
18	H. Bourzoufi, Gilles Goncalves, Bernard Toursel	A Time-Bounded Binding Access with Low Task-Switching Cost in an OR-Parallel Prolog.	CONPAR	1992	DBLP DOI BibTeX RDF
18	Keehang Kwon, Gopalan Nadathur, Debra Sue Wilson	Implementing a Notion of Modules in the Logic Programming Language Lambda-Prolog.	ELP	1992	DBLP DOI BibTeX RDF
18	Egon Börger, Bart Demoen	A Framework to Specify Database Update Views for Prolog.	PLILP	1991	DBLP DOI BibTeX RDF
18	Pierre De Boeck, Baudouin Le Charlier	Static Type Analysis of Prolog Procedures for Ensuring Correctness.	PLILP	1990	DBLP DOI BibTeX RDF