using SWI program From the following facts: character(a). character(f). character(h). female(amnh). male(saad). female(reem). male(ahmed). valuable(jewels). Make query with SWI-Prolog program for the following: If (A) is character? If (gold) is valuable? If (b) is character? If (amnh) is female? If (fasysal) is male? If (Saad) is male?

using SWI program From the following facts: character(a). character(f). character(h). female(amnh). male(saad). female(reem). male(ahmed). valuable(jewels). Make query with SWI-Prolog program for the following: If (A) is character? If (gold) is valuable? If (b) is character? If (amnh) is female? If (fasysal) is male? If (Saad) is male?

Database System Concepts

7th Edition

ISBN:9780078022159

Author:Abraham Silberschatz Professor, Henry F. Korth, S. Sudarshan

Publisher:Abraham Silberschatz Professor, Henry F. Korth, S. Sudarshan

Chapter1: Introduction

Section: Chapter Questions

Problem 1PE

See similar textbooks

Similar questions

I need help coming up with a unique but simple truth table example that has three propositions that are expressed with words and logic.
Solve this one please. Use semantic tableaux to show the following is or is not a tautology (is or is not valid). Explain what you did and how you interpreted the results. [p → (¬h → c)] ∧ (p → ¬h) ⊧ p → c
use semantic tableaux to show if these are invalid: ¬(p⊃q)∧¬(p⊃r)⊢¬q∨¬r p∧(¬r∨s),¬(q⊃s)⊢r ¬(p∧¬q)∨r,p⊃(r≡s)⊢p≡q p⊃(q∧r),¬r⊢¬p
Determine whether the following arguments are valid. Use Euler's Diagram or truth table, whichever is applicable. If you do not bike, you are not an athletic. If you bike, you exercise. Therefore, you are an athletic if you exercise.
Write a PROLOG program that implements Zebra Puzzle Your program should implement the following facts for your answer. 1.There are five houses. 2.The Englishman lives in the red house. 3.The Spaniard owns the dog. 4.Coffee is drunk in the green house. 5.The Ukrainian drinks tea. 6.The green house is immediately to the right of the ivory house. 7.The Old Gold smoker owns snails. 8.Kools are smoked in the yellow house. 9.Milk is drunk in the middle house. 10.The Norwegian lives in the first house. 11.The man who smokes Chesterfields lives in the house next to the man with the fox. 12.Kools are smoked in the house next to the house where the horse is kept. 13.The Lucky Strike smoker drinks orange juice. 14.The Japanese smokes Parliaments. 15.The Norwegian lives next to the blue house.
What is a semantic tableau and what is an advantage of using it to determine if a formula is satisfiable?
Please help me with this Check if my journal is good, grammar is good, and I have complete all questions nicely
What does prolog return for the followingquery:no parents(adam, 0) :- !.no_ parents(eve, 0):- !.no parents(, 2).?- no parents (george, X).
For the following two questions, consider this Prolog program: person(mary). person(john). girl(mary). boy(john).
1. Write the following statement as Prolog clauses: Mammals have four legs and no arms, or two arms and two legs. A horse is a mammal. A horse has no arms. Can Prolog derive that a horse has four legs? please include the clause and queries screenshot
What is the result ofthe following unicator query in Prolog??- foo(a, b) = foo(X, X)a. X=a, X = bb. X= [a, b]c. X = b: X = ad. False