7
Jak napisać poniżej w Prologu?Jak napisać "a implikuje b lub c" w Prologu
a -> b V c
W języku angielskim, które byłyby a implies that b or c (or both)
A
Odpowiedz
6
Klauzula
a => (b ; c) % ';' means 'or'
nie jest to warunek Horn, a tym samym nie może być reprezentowany w (czysty) startowych (patrz np Wikipedia). Z drugiej strony (b ; c) => a jest klauzulą Horn i oczywiście może być reprezentowana przez dwie reguły Prolog.
+0
Nie jestem zaznajomiony z ';'. Czy możesz wyjaśnić, co to jest i co oznaczają te dwie klauzule? – baruch
+0
Użyłem ';' do reprezentowania 'lub' (= disjunction), tj. Twojego symbolu 'v'. Wybrałem to, ponieważ jest to predefiniowany operator "lub" u wielu tłumaczy Prolog. Więc możesz napisać 'a: - b; c., Co oznacza' (b lub c) implikuje a'. Nie możesz wyrazić "a implikuje (b lub c)". – Jiri
0
Logicznie rzecz biorąc, „b lub c” to to samo, co „b lub c (lub oba)”
Możesz przeczytać operatorzy o logicznych w Prologu tutaj: http://rigaux.org/language-study/syntax-across-languages-per-language/Prolog.html
Czy możesz wyjaśnić nieco więcej, proszę, co próbujesz zrobić z "sugeruje"?
+0
Mam na myśli jak "a: -b, c." Oznacza "b and c implikuje a", ale w inny sposób. Nieoficjalnie byłoby to "b, c: -a." – baruch
+0
Jeśli potem zapytam "? -b" lub "? -c", powinienem otrzymać fałszywą, nieskomplikowaną lub somesuch, ale jeśli mam również 'd: -b. d: -C#, a następnie '? -d. 'powinno być prawdziwe. – baruch
+0
Możesz napisać dwie klauzule: b: - a. c: - a. –
1
Nie jestem całkowicie pewien, co chcesz zrobić z tym implikuje oświadczenie. Ale pomyślałbym, że wystarczyłoby poniższe (pamiętaj, że to SICStus nie swi, ale na tym niskim poziomie myślę, że to wszystko to samo).
predicate(a, b).
predicate(a, c).
?- predicate(a, Then).
Then = b ;
Then = c ;
no
?- predicate(x, Then).
no
Można zrobić bardziej skomplikowane kontrole w celu upewnij się, że nigdy nie jest wartością niezwiązany (aby zapobiec predicate(If, b). Jest prawdziwe), ale jeśli robisz ogromne zastosowanie wówczas jestem pewien dobra dokumentacja wystarczy.
Powiązane problemy
- 1. Co [a | b | c] ocenia w SWI-Prolog?
- 2. Dopasowanie do wzorca Python. Dopasuj c [dowolną liczbę kolejnych a, b lub c, b, c lub a itd.] T '
- 3. pyton: (? X a: b) IIF lub
- 4. Jak podzielić F [A \/B] do (F [A], M [B])
- 5. Rodzaj minBy [B] (f: ((A, B)) ⇒ B) (ukryte CMP: Kolejność [B]): (A, B)
- 6. (Python) Jak uzyskać przekątną (A * B) bez wykonywania A * B?
- 7. Wbudowana funkcja __gcd (A, B) w C++
- 8. Jaka jest różnica między "(a b c) a (listą" a "b" c)?
- 9. Różnica między || a = b i a = a || b w rubin?
- 10. Logika logiczna (kolejność operacji) A i B lub C
- 11. Oracle SQL UNIQUE A do B, B do A
- 12. Dlaczego (a | b) jest równoważne z - (a & b) + b?
- 13. W jaki sposób "a <= b && b <= a && a! = B" może być prawdziwe?
- 14. Płaska tablica PHP do zagnieżdżonych ["a", "b", "c"] do ["a" => ["b" => ["c"]]]
- 15. Różnica między +++++ B i A ++ + ++ b
- 16. Dlaczego "x = a lub b" nie działa w Perlu?
- 17. Czy możesz napisać od/3 w czystym prologu?
- 18. Czy zawsze mam `(a/b * b) + a% b == a`, gdy b nie jest zerem?
- 19. IF a == true lub b == true oświadczenie
- 20. Jak uzyskać dostęp do niejawnego "ukrytego", tj. Def a [A: B] lub def a [A <% B]?
- 21. Różnica między sort(), sort (funkcja (a, b) {return a-b;}); i sortowanie (funkcja (a, b) {...})
- 22. Dlaczego fold left oczekuje (a -> b -> a) zamiast (b -> a -> a)?
- 23. Przypisanie wielokrotne var a = b = b || {} W javascript kod
- 24. C++: Czy makro może rozwinąć "abc" na "a", "b", "c"?
- 25. Pływające opcje kompilatora C++ | Zapobieganie a/b -> a * (1/b)
- 26. numexpr.evaluate ("a + b", out = a)
- 27. char * a, * b; jaki jest typ (b-a) i jak mogę go wydrukować?
- 28. Jak piszesz pytanie "(A OR B) I (A OR C)" z Mongoidem?
- 29. Pytanie - język formalny w prologu
- 30. RegEx dla^b zamiast pow (a, b)
Czy używam złego terminu? Odpowiedzi wydają się mówić, że implikacja nie jest właściwym terminem. Czy nie wszystkie (najbardziej) klauzule prologu są czytane, ponieważ coś implikuje coś innego ('something_else:-something")? Nie uczę się angielskiego w Prologu, więc mogę używać niewłaściwego terminu. – baruch