Register now to access 7 million high quality study materials (What's Course Hero?) Course Hero is the premier provider of high quality online educational resources. With millions of study documents, online tutors, digital flashcards and free courseware, Course Hero is helping students learn more efficiently and effectively. Whether you're interested in exploring new subjects or mastering key topics for your next exam, Course Hero has the tools you need to achieve your goals.
5 Pages
prolog-tute1
Course: CSCI 323, Fall 2009School: Allan Hancock College
Rating:
Word Count: 131
Document Preview
Basics A PROLOG Prolog program consists of a database of facts and rules, and queries (questions). Fact: ... . Rule: ... :- ... . Query: ?- ... . Variables: must begin with an upper case letter. Constants: numbers, begin with lowercase letter, or enclosed in single quotes. Simple Facts john_is_cold. raining. john_Forgot_His_Raincoat. fred_lost_his_car_keys. peter_footballer. peter footballer. Some more facts...
Unformatted Document Excerpt
Coursehero >> California >> Allan Hancock College >> CSCI 323Course Hero has millions of student submitted documents similar to the one
below including study guides, practice problems, reference materials, practice exams, textbook help and tutor support.
Course Hero has millions of student submitted documents similar to the one
below including study guides, practice problems, reference materials, practice exams, textbook help and tutor support.
Basics
A PROLOG Prolog program consists of a database of facts and rules, and queries (questions). Fact: ... . Rule: ... :- ... . Query: ?- ... . Variables: must begin with an upper case letter. Constants: numbers, begin with lowercase letter, or enclosed in single quotes.
Simple Facts
john_is_cold. raining. john_Forgot_His_Raincoat. fred_lost_his_car_keys. peter_footballer. peter footballer.
Some more facts
female(amy). male(anthony). female(johnette). male(bruce). male(ogden). parentof(amy,johnette). parentof(amy,anthony). parentof(amy,bruce). parentof(ogden,johnette). parentof(ogden,anthony). parentof(ogden,bruce).
Computing a factorial
factorial(0,1). fact...
Find millions of documents on Course Hero - Study Guides, Lecture Notes, Reference Materials, Practice Exams and more.
Course Hero has millions of course specific materials providing students with the best way to expand
their education.
Below is a small sample set of documents:
Below is a small sample set of documents:
Cal Poly - CIV - 6702
LE TRANSPORT LA DEMANDESOMMAIREDans le contexte europen visant promouvoir le transport public, le transport la demande est vu comme tant une alternative plus flexible que le service conventionnel de transport en commun. Les impacts du transport
Allan Hancock College - CSCI - 323
Intro to CSCI 323Prof. Aditya K. Ghose Director Decisions Systems Lab School of IT & Computer Science University of WollongongAgenda Who am I? More importantly, who are you? Class admin A brief discussion of what we will cover in this subject
Cal Poly - CIV - 6702
COLLOQUE CIV6702Christophe VAN ROTHEMREFERENCES ORIGINALES DE LARTICLEAnonymous Vehicle Tracking for Real-time Traffic Surveillance and Performance on Signalized ArterialsCheol Oh and Stephen G. Ritchie Department of Civil and Environmental En
Cal Poly - CIV - 6702
Nous voyons dans cet article le dveloppement dun systme dinformations gographiques pour les comts de Nueces, San Patricio et Weberg. Avant 1994, lensemble des cartes et de lanalyse des donnes se faisait la main et engendrait des cots importants en t
Allan Hancock College - CSCI - 323
Std NbrAs129490278312173210242929935193998295704892957346927932094279556510
UMass (Amherst) - I - 1748
Info-RN: a Newsletter for NursesJanuary 2008Meeting the Information Needs of Winnipeg's NursesNew BooksFrom the Editor|In this issue of Info-RN we highlight interesting Mental Health Resources and introduce you to our featured database PsychIn
UMass (Amherst) - I - 738
Info-Rx: Newsletter of the Health SciencesLibrariesOctober 2005 Your prescription for quality health information From the Editor| In this issue of Info-Rx: Newsletter of the Health Sciences Libraries we focus on resources for drug research, pharmac
UMass (Amherst) - I - 464
Info-Rx: Newsletter of the Health Sciences LibrariesApril 2005 Volume 1, Issue 7 Your prescription for quality health information From the Editor| In recognition of Oral Health Month in Canada, Aprils issue of Info-Rx focuses on dental health. The r
UCLA - N - 115
Antimicrobial Agents (chemotherapeutic agents)Karen Hoppens Gylys, PhD, RNantimicrobialsTerminologyAntimicrobials Antibiotic: product of a living microorganism which kills or inhibits the growth of microorganisms Antimicrobial: naturally oc
Toledo - BIO - 406
Slide1Theparasitictheoryofsexualreproduction:parasitismin unisexualandbisexualgeckos Studyby:SGBrown,SKwanandSShero_ _ __ _ _ _ _CharlotteElisabethJostiak 27November2008http:/prometheus.med.utah.edu/~bwjones/C1705165967/E20060412095327/Media/G
Allan Hancock College - JP - 989
836iEEE TRANSACTiONS ON SOFTWARE ENGINEERING, VOL. 25, NO. 6, NOVEMBEWDECEMBER 1999Managing Standards ComplianceWolfgang Emmerich, Member, I Computer Society, Anthony Finkelstein, Member, /E Computer Society, Carlo Montangero, Stefan0 Antonelli,
Cal Poly - IND - 6409
Scientific American: The Semantic WebPage 1 of 7Scientific American Magazine - May 17, 2001The Semantic WebA new form of Web content that is meaningful to computers will unleash a revolution of new possibilitiesBy Tim Berners-Lee, James Hendl
Cal Poly - RV - 101
Landmark-based Non-rigid Registration via Graph CutsHerve Lombaert1 , Yiyong Sun2 , and Farida Cheriet11 Ecole Polytechnique de Montral, Montral Qubec, Canada e e e 2 Siemens Corporate Research, Princeton NJ 08540, USAAbstract. This paper prese
Allan Hancock College - JP - 989
Metamodel-Compliance Checking of Requirements in a Semiformal RepresentationHermann Kaindl 1 , Stefan Kramer 2 , Mario Hailing3 , and Vahan Harput 3Vienna Univ. of Technology, Inst. of Computer Technology Gusshausstr. 27-29, A-1040 Vienna, Austria
Laurentian - B - 5961
`Laurentian Karate Club students show their winning nature at Karate Ontario Tournament(en anglais seulement)On December 5th, 2004 students from the Laurentian Karate Club made their way down to Humber College for a Karate Ontario Tournament. Th
Allan Hancock College - JP - 989
Technology Transfer Issues for Formal Methods of Software SpecificationKen Abernethy Department of Computer Science Furman University Greenville, SC 29613 Ken.Abernethy@furman.edu Ann Sobel and James D. Kiper Department of Systems Analysis Miami Uni
Laurentian - NR - 11515
Laurentian University Standard Operating Procedure Garbage Gathering and Disposal We have a close, friendly tie with Physical Plant with respect to garbage removal and must show respect for their needs as well. We also have a close tie with the clean
Allan Hancock College - JP - 989
Extracting Business Rules from Source CodeHarry M. Sneed & Katalin Erdos SES Software-Engineering Service GmbH Rosenheimer Landstrasse 37 D-85521 OttobrundMunich, GermanyABSTRACT This paper reviews the state of the art on application knowledge acqu
Toledo - FRE - 397
Claude Chabrol (1930-)Part of the New WaveLe Beau Serge 1958, Les Cousins 1959Became famous for thrillers Explores the dark side of human natureFriendship and collaboration with Paul Ggauff (1922-1983) Dialogues of Les Cousins, Les Bonnes F
Allan Hancock College - JP - 989
Constructing a BPM Environment with BPMN*Ching-Hong Tsai, How-Jen Luo and Feng-Jian Wang Department of Computer Science, National Chiao-Tung University,Taiwan {chtsai,jrluo,fjwang}@cs.nctu.edu.twAbstractWorkflow at its simplest is the movement o
Allan Hancock College - JP - 989
Mining Aspects in RequirementsAmrico Sampaio, Neil Loughran, Awais Rashid and Paul Rayson Computing Department, Lancaster University, Lancaster, UK {a.sampaio, loughran, marash, paul}@comp.lancs.ac.ukAbstractThe early identification and documenta
St. Mary MD - MATH - 20082009
Problems for section 3: 1. The ciphertext 5859 was obtained from an RSA system with n = 11413 and e = 7467. Use the factorization 11413 = 101 113 to nd the plaintext. 2. Explain, why e = 2 is never an encryption exponent in an RSA system. 3. The cip
UMass (Amherst) - CS - 3364
IBM Canada Extreme Blue 2007ibm.com/extremeblueIBM IS SERIOUS ABOUT INNOVATION.AND IBM IS SERIOUS ABOUT YOU.This coming summer, whether you're a business or technical student or a new grad, if you've got what it takes to drive innovation, IBM i
Allan Hancock College - JP - 989
A New Concept of Compliance for Software Engineering StandardsJames W. Moore The MITRE Corporation 703A83.7396 moorej @ acm.orgAbstractHalf a decade o intensive planning eflorts have pof sitioned us so that we now can clearly see a substantially d
St. Mary MD - MATH - 20082009
Problems for section 2 1. Factor 4883 and 4369 into primes. 2. Compute the gcd of 4883 and 4369. 3. Use the Extended Euclidean Algorithm to write the greatest common divisor of 574 and 308 in the form 574 x + 308 y. 4. a) Find all solutions of 12x
UMass (Amherst) - CS - 6060
Casual Employment OpportunityDatabase Development a federal government department is looking for a student or graduate with the skills and abilities to take on the completion of a partially developed database on a casual employment basis. Rate of P
Allan Hancock College - JP - 989
Early-AIM: An Approach for Identifying Aspects in RequirementsAmrico Sampaio, Awais Rashid and Paul Rayson Computing Department, Lancaster University, Lancaster, UK {a.sampaio, marash, paul}@comp.lancs.ac.ukAbstractIdentifying aspects at an early
Allan Hancock College - JP - 989
NATURAL LANGUAGE PROCESSING FOR REQUIREMENTS ENGINEERING: APPLICABILITY TO LARGE REQUIREMENTS DOCUMENTS Leonid KofFakult t f r Informatik, Technische Universit t M nchen, a u a u Boltzmannstr. 3, D-85748 Garching bei M nchen, Germany u kof@informati
Allan Hancock College - JP - 989
The Role of Natural Language in Requirements EngineeringKevin Ryan Dept. of Computer Science & Information Systems University of Limerick Ireland (Presented at Requirements Engineering 93) AbstractIt is argued that the potential role of natural lan
ECCD - SCS - 3007
COMP 3007 Programming Paradigms What to know for the examCourse Themes Two new programming paradigms. Functional programming using recursion. Logic programming: logic as a programming language. The declarative ideal. Departures from the ideal
Allan Hancock College - JP - 989
Assisting requirements engineering with semantic document analysisPaul Rayson, Roger Garside and Pete SawyerComputing Department Lancaster University Lancaster, UK. LA1 4YR.{paul, rgg, sawyer}@comp.lancs.ac.ukAbstractRequirements engineering is
Allan Hancock College - JP - 989
Modeling Business Processes in web Applications: An Analysis FrameworkDamiano Distante Gustavo Rossi Gerardo CanforaResearch Centre On Software Technology, University of Sannio Viale Traiano, 1 82100 Benevento, Italy +39 0824 305555 Research Centre
UMass (Amherst) - CS - 4409
1) IGDA Event - Notes from the GDC 2008 - The Art Track On Wednesday, April 2nd, 2008, IGDA Winnipeg presents "Notes from the GDC 2008 The Art Track" at Fortune Cat Game Studios (2nd Floor - 62 Albert St.). The meeting will run from 7:00 - 9:00pm. We
UMass (Amherst) - CS - 1948
EMPLOYER: JOB TITLE: ADDRESS:Star Produce Systems/Network Administrator366 Edson Street Saskatoon, SK S7J 0P9 CONTACT PERSON: CONTACT PHONE: CONTACT E-MAIL: Dale Grewcock 306-934-2133 careers@starproduce.comDESCRIPTION/DUTIES: Are you an energe
Allan Hancock College - JP - 989
Creating a Knowledge Management Architecture for Business Process ChangeJurgen VanhoenackerPricewaterhouseCoopers L-l 014 Luxembourg, Consulting Luxembourg 16, Rue Eugene Ruppert, jurgen.vanhoenackerQlu.pwcglobal.comProf. Dr. Antony BryantLeeds
UMass (Amherst) - CS - 3669
E.H. Price Ltd, Canadas leading manufacturer and distributor of air distribution products (www.price-hvac.com) is a dynamic, progressive and innovative organization looking for new talent in our Software Development team. If you thrive on new challen
Concordia Canada - LYRA - 1689
Allan Hancock College - JP - 989
A Conceptual Markup Language that Supports Interoperability between Business Rule Modeling Systems1Jan Demey, Mustafa Jarrar, and Robert Meersman2VUB STARLab Vrije Universiteit Brussel Pleinlaan 2 1050 Brussels Belgium {jdemey, mjarrar, meersman}@
UMass (Amherst) - CS - 2281
WebDeveloper PositionType: CompanyName Location ExperienceFullTimeEmployee ReimerWorldCorp. Winnipeg,MB RecentgraduatePosition: WebDeveloper ReimerWorldCorpisaleaderinthetransportationindustry,andiscommittedtoinnovationand serviceexcellence. We
Concordia Canada - LYRA - 16288