Archives
Trending
Support
Login
clear text
XML
Django
JavaScript
MATLAB
C
C++
C#
Python
SQL
Shell
Bash
Markdown
YAML
JSON
HTML
CSS
PHP
Java
Ruby
Go
Rust
Swift
Kotlin
Arduino
TypeScript
Perl
Autohotkey
Lua
SQF
R
Scala
Haskell
Groovy
Dart
Clojure
VB.NET
Objective-C
PowerShell
Bash
CoffeeScript
Verilog
predicates nondeterm grandparent(symbol, symbol). nondeterm parent(symbol, symbol). nondeterm kid(symbol, symbol). nondeterm sibling(symbol, symbol). clauses /*Dad's branch*/ parent("Sergey","Evgenij"). parent("Tatyana","Evgenij"). parent("Evgenij","Kirill"). parent("Evgenij","Bonya"). /*Mom's branch*/ parent("Vladimir","Oksana"). parent("Nina","Oksana"). parent("Oksana","Kirill"). parent("Oksana","Bonya"). /**/ sibling(F,S):-parent(M,F) and parent(D,F) and parent(M,S) and parent(D,F). kid(C,P):-parent(P,C). grandparent(GP,C):-parent(GP,P) and parent(P,C). goal grandparent("Vladimir", "Kirill").
Mark as private (unlisted)
for 30 minutes
for 6 hours
for 1 day
for 1 week
for 1 month
for 1 year
everlasting (like CCCP)
