BibSonomy

The blue social bookmark and publication sharing system.

( en | de | ru )

 

user
  • tag
  • user
  • group
  • author
  • concept
  • BibTeX key
  • search
@mkf
  • sign in
  • register
  • groups
  • genealogy
  • popular 
    • posts
    • tags
    • authors
    • concepts
    • discussions
  • sign in
  • register

Login

Log in with your username.

@

I've lost my password.


Log in with your OpenID-Provider.

  • Other OpenID-Provider
  1. user
  2. @mkf
  3. prolog

Publication title

bookmarks  (hide)1
  • display
  • all
  • bookmarks only
  • bookmarks per page
  • 5
  • 10
  • 20
  • 50
  • 100
  • sort by
  • added at
  • title
  • RSS
  • BibTeX
  • XML

  •  

     
    1FAQ: Prolog Resource Guide 1/2 [Monthly posting] - [1-10] Is there a straight-forward way of compiling Prolog to C?
     

    https://www.cs.cmu.edu/Groups/AI/html/faqs/lang/prolog/prg/part1/faq-doc-11.html
    6 years ago by @mkf
    show all tags
    • prolog
    • prolog_to_c
     
      prologprolog_to_c
      (0)
      copydelete
      • community post
      • history of this post
       
       
    • ⟨⟨
    • ⟨
    • 1
    • ⟩
    • ⟩⟩

    publications  (hide)3  
    • display
    • all
    • publications only
    • publications per page
    • 5
    • 10
    • 20
    • 50
    • 100
    • sort by
    • added at
    • title
    • author
    • publication date
    • entry type
    • help for advanced sorting...
    • RSS
    • BibTeX
    • RDF
    • more...

    •  

       
      1An overview of Ciao and its design philosophy
       

      M. Hermenegildo, F. Bueno, M. Carro, P. López-García, E. Mera, J. Morales, and G. Puebla. CoRR, (2011)https://cliplab.org/papers/hermenegildo10:ciao-design-tplp-tr.pdf.
      6 years ago by @mkf
      show all tags
      • ciao
      • prolog
       
        ciaoprolog
        (0)
        copydeleteadd this publication to your clipboard
        • community post
        • history of this post
        • URL
        • DOI
        • BibTeX
        • EndNote
        • APA
        • Chicago
        • DIN 1505
        • Harvard
        • MSOffice XML
         
         
      •  

         
        2Development of C-Prolog Compiler.
         

        K. Kakizaki, K. Uehara, and J. Toyoda. LP, volume 264 of Lecture Notes in Computer Science, page 126-136. Springer, (1986)
        6 years ago by @mkf
        show all tags
        • prolog
        • prolog_to_c
         
          prologprolog_to_c
          (0)
          copydeleteadd this publication to your clipboard
          • community post
          • history of this post
          • URL
          • DOI
          • BibTeX
          • EndNote
          • APA
          • Chicago
          • DIN 1505
          • Harvard
          • MSOffice XML
           
           
        •  

           
          2GNU Prolog: Beyond Compiling Prolog to C.
           

          D. Diaz, and P. Codognet. PADL, volume 1753 of Lecture Notes in Computer Science, page 81-92. Springer, (2000)
          6 years ago by @mkf
          show all tags
          • gnuprolog
          • prolog
          • prolog_to_c
           
            gnuprologprologprolog_to_c
            (0)
            copydeleteadd this publication to your clipboard
            • community post
            • history of this post
            • URL
            • DOI
            • BibTeX
            • EndNote
            • APA
            • Chicago
            • DIN 1505
            • Harvard
            • MSOffice XML
             
             
          • ⟨⟨
          • ⟨
          • 1
          • ⟩
          • ⟩⟩

          browse

          • prolog as tag from all users
          • prolog as concept from mkf
          • prolog as concept from all users

          related tags

          • + | prolog_to_c
          • + | ciao
          • + | gnuprolog

          concepts

          • algol ←
            • algol
            • algol60
            • algol68
            • algol72
            • mary
          • android ←
            • androidndk
            • androidplatform
          • anon_inode ←
            • O_TMPFILE
          • c ←
            • c_array_allocation
            • verifiable_c
          • css ←
            • css_media_types
            • css_target_selector
          • desktop ←
            • fvwm
          • docker ←
            • docker_X11
          • emacs ←
            • elisp
            • html-mode
          • email ←
            • alpine
            • email_markup
            • markdown_email
            • pine
          • gotowanie ←
            • cooking
          • haskell ←
            • cabal
          • html ←
            • html_phrase_tags
          • javascript ←
            • vanillajs
          • lgbt ←
            • homophobes_are_gay
            • marketing_lgbt
          • linux ←
            • abstract_sockets
            • anon_inode
            • nixos
            • O_TMPFILE
            • unix-domain-sockets/linux
          • mobile_devices ←
            • keyboard_phone
            • smartpen_notepad
            • smartphone
          • netlify ←
            • netlify_headers_redirects
            • netlify_redirects
          • netlify_redirects ←
            • netlify_headers_redirects
          • nix ←
            • default.nix
            • niv
            • nix-flakes
            • nix-shell
            • shell.nix
          • nixos ←
            • nixos-containers
          • po_polsku ←
            • gotowanie
          • ProgrammingLanguages ←
            • c
            • c++
            • elisp
            • golang
            • haskell
            • java
            • javascript
            • prolog
            • rust
          • prolog ←
            • ciao
            • prolog
            • prolog_to_c
          • proving_c_programs ←
            • framac
            • verifiable_c
          • rust ←
            • cargo
          • smartphones ←
            • keyboard_phone
          • ssh_forwarding ←
            • ssh_socket_forwarding
          • unix ←
            • block_devices
            • linux
            • nix
            • unix-domain-sockets
          • unix-domain-sockets ←
            • abstract_sockets
            • getsockopt
            • unix-domain-sockets/linux
          • unix-domain-sockets/linux ←
            • SO_PEERCRED
          • vscode ←
            • vscode_dockerized
            • vscode_remote_containers
          • webdev ←
            • css
            • fragment_identifiers

          tags

          • cooking
          • nix
          • html
          • mercurial
          • emacs
          • nixos
          • .net
          • fsharp
          • linux_x86-64_assembly
          • hummus
          • docker
          • haskell
          • ChangeDisplaySettings
          • smartpen_notepad
          • linux
          • nix-flakes
          • css
          • fvwm
          • docker_X11
          • tcsh
          • vscode
          • gemini
          • android_development
          • niv
          • devcontainers
          • rust
          • compose_key
          • discord-getting
          • unix
          • prolog
          • cabal
          • SessionEnding
          • macncheese
          • compose_key_cheat_sheet
          • unix_domain_sockets
          • nixos-containers
          • static_site_generators
          • usenet_pl
          • openbsd
          • prolog_to_c
          • smtp
          • android
          • spark2014
          • clojure
          • gmane
          • win32
          • nix-shell
          • seamonkey
          • bibsonomy
          • haikuos
          What is BibSonomy?
          Getting Started
          Browser Buttons
          Help
          Developer
          Overview
          API Documentation
          Contact & Privacy
          Contact
          Privacy & Terms of Use
          Cookies
          Report Issues
          BibSonomy Wiki
          Integration
          PUMA
          TYPO3 Extension
          WordPress Plugin
          Java REST Client
          Supported Sites
          more
          About BibSonomy
          Team
          Blog
          Mailing List
          Social Media
           Follow us on Twitter

          BibSonomy is offered by the Data Science Chair of the University of Würzburg, the Information Processing and Analytics Group of the Humboldt-Unversität zu Berlin, the KDE Group of the University of Kassel, and the L3S Research Center.