appendoはoutに結果をunifyするだけだから動き的に新しいところはない、かな？ (defrel (appendo l t out) (conde ((nullo l) (== t out)) ((fresh (a d res) (conso a d l) (appendo d t res) (conso a res out))))) たとえば