Sophie

• Search
• Distribution
• Explorer
• Source & Patches
• Chat
• Help
• About

distrib > Mandriva > 8.2 > i586 > media > contrib > by-pkgid > 8a80864b07c5f16e9ba9be320c149cfa > files > 109

teyjus-1.0_b31-15mdk.i586.rpm

• Info
• Deps
• Files
• Scripts
• ChangeLog
• Location
• Others versions
• Analyse

module reverse.

type  reverse  (list A) -> (list A) -> o.

reverse L1 L2 :-
   (pi rev_aux \
      ((rev_aux nil L2,
        (pi X\ pi L1\ pi L2\ (rev_aux (X::L1) L2 :- rev_aux L1 (X::L2))))
          => (rev_aux L1 nil))).