Search Results - "Calejo, Miguel"

Using SWISH to realise interactive web based tutorials for logic based languages by Wielemaker, Jan, Riguzzi, Fabrizio, Kowalski, Bob, Lager, Torbjörn, Sadri, Fariba, Calejo, Miguel

“…Jan Wielemaker et al. Using SWISH to realise interactive web based tutorials for logic based languages. Theory and Practice of Logic Programming,…”
Get full text

GNU Prolog to Java: A Study on How to Connect the Two Programming Environments by Calejo, Miguel

“…Neste trabalho pretende-se efectuar o estudo e a implementação de uma interface bidireccional entre o GNU-Prolog e a linguagem Java. O objectivo desta…”
Get full text

Understanding Rulelog Computations in Silk by Andersen, Carl, Benyo, Brett, Calejo, Miguel, Dean, Mike, Fodor, Paul, Grosof, Benjamin N, Kifer, Michael, Liang, Senlin, Swift, Terrance

“…Rulelog is a knowledge representation and reasoning language based on logic programming under the well-founded semantics. It is an extension of the language of…”
Get full text