Predikat (öppna utsagor) Från predikat till logisk utsaga Predikat och ...

Argument med kvantorer (forts.): Formalisera argumentet! M(x) : x är matematiker. K(x) : x är en knäppskalle. Exempel
Prolog
Predikatlogik,
predikat (öppna utsagor)
→K(x)] x bor i Göteborg. Argumentet kan dåskrivas: ∀x : [M(x) ∃x : [M(x) ∧G(x)] ∃x : [K(x) ∧G(x)]. G(x) :
ett programspråk för logikprogrammering. Det är uppbyggt av fakta, regleroch frågor. Predikaten (öppna utsagorna) definieras i allmänhet som en blandning av fakta och regler. Dessa kallas klausuler för predikatet. är Prolog
P(x) : x ≥3.
Q(x,y) : x – y = 0.
Prolog
p(X) :- X >= 3.
q(X,Y) :- X – Y =:= 0.
Prolog mer i detalj
∀X förståProlog lite mer i detalj kan vi använda det till att avgöra om argument är giltiga eller ej. att Genom
Prolog
(klausul)
p(X) :- X >= 3.
Betydelse
(logisk utsaga)
: [(X ≥3) →p(X)]
Argument med kvantorer (forts.): Beviset blir att den andra hypotesen ger att M(x0) och G(x0) är sant för något x0. För detta x0ger dåden första hypotesen att K(x0) Exempel
Komma igång med Prolog
Skriv in predikaten i en fil (ett på varje rad) med ett namn som
slutar på .pl, exempelvis test.pl.
Starta Prolog genom att skriva kommandot pl.
Ladda in predikaten i filen test.pl genom att skriva antingen
consult(test). eller [test]. vid kommandoprompten (?-) i Prolog.
Glöm inte punkterna.
Testa predikaten i filen, exempelvis genom ?- p(3).
Yes
?- p(0).
No
där Yes, som skrivs ut av Prolog, betyder att den logiska utsagan
p(3) : 3 >= 3 är sann och No betyder att den logiska utsagan p(0) :
0 >=3 är falsk.
Avsluta Prolog genom att skriva halt. vid kommandoprompten.
sant. Därmed är slutsatsen K(x0) ∧G(x0) sann och argumentet är giltigt. är
Prolog mer i detalj
Logisk utsaga
Prolog
→K(x)]
:- m(X). /* regel */ ∧G(x)]k(X) g(x0). /* fakta */
∧G(x)]m(x0). : [M(x) ∀x : [M(x) ∃x [K(x) : ∃x knäppskallar. och matematiker med exemplet tar Vi
/* fakta */
?- k(X), g(X). /* fråga */
2