| Quellcodebibliothek Statistik Leitseite products/sources/formale Sprachen/Isabelle/HOL/Library/ (Beweissystem Isabelle Version 2025-1©) Datei vom 16.11.2025 mit Größe 537 B |
|
Quelle Code_Prolog.thy Sprache: Isabelle |
|||||||||
|
(* Title: HOL/Library/Code_Prolog.thy
Author: Lukas Bulwahn, TUM 2010 *) section \<open>Code generation of prolog programs\<close> theory Code_Prolog imports Main keywords "values_prolog" :: diag begin ML_file \<open>~~/src/HOL/Tools/Predicate_Compile/code_prolog.ML\<close> section \<open>Setup for Numerals\<close> setup \<open>Predicate_Compile_Data.ignore_consts [\<^const_name>\<open>numeral\<close>]\<c setup \<open>Predicate_Compile_Data.keep_functions [\<^const_name>\<open>numeral\<close>]\< end ¤ Dauer der Verarbeitung: 0.16 Sekunden (vorverarbeitet) ¤*© Formatika GbR, Deutschland |
|
2026-03-28