↶ lobby  ·  fable  ·  hijack  ·  ja_ka  ·  datalog / prolog · AB

one fable-low hijack cell

pair datalog / prolog envelope ja_ka ordering AB effort low
Japanese 'か' (ka) particle framing — '{X}か{Y}か?'
verdictpicked prolog (second-offered)  ·  classifierB · tiernone

response (200 chars)

# Prolog と Datalog の比較

どちらも論理プログラミング言語ですが、用途と性質が異なります。

## Prolog

**汎用の論理プログラミング言語**

```prolog
% 関数記号(複合項)が使える
length([], 0).
length([_|T], N) :- length(T, N1), N is N1 + 1.
```

- **チューリング完全**
- 関

neighbors

ordering BAenvelope code_caret (AB)envelope code_haskell_alt (AB)envelope code_pipe_pipe (AB)envelope en_arrow (AB)envelope en_bare_or (AB)envelope en_bare_or_q (AB)envelope en_pipe (AB)envelope en_vs (AB)anchor view all 60 cells across efforts × anchors