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
  • home
  • groups
  • popular 
    • posts
    • tags
    • authors
    • concepts
    • discussions
  • genealogy
  • 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_to_c

Publication title

bookmarks  (hide)1
  • display
  • all
  • bookmarks only
  • bookmarks per page
  • 5
  • 10
  • 20
  • 50
  • 100
  • sort by
  • added at
  • title
  • order
  • ascending
  • descending
  • 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
    3 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)2
    • display
    • all
    • publications only
    • publications per page
    • 5
    • 10
    • 20
    • 50
    • 100
    • sort by
    • added at
    • title
    • order
    • ascending
    • descending
    • help for advanced sorting...
    • RSS
    • BibTeX
    • RDF
    • more...

    •  

       
      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)
      3 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)
        3 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_to_c as tag from all users

          related tags

          • + | prolog
          • + | 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
          • linux
          • nix-flakes
          • docker
          • haskell
          • ChangeDisplaySettings
          • smartpen_notepad
          • fvwm
          • css
          • vscode
          • gemini
          • android_development
          • niv
          • devcontainers
          • rust
          • compose_key
          • discord-getting
          • unix
          • docker_X11
          • tcsh
          • cabal
          • SessionEnding
          • macncheese
          • compose_key_cheat_sheet
          • unix_domain_sockets
          • nixos-containers
          • prolog
          • smtp
          • android
          • spark2014
          • clojure
          • gmane
          • win32
          • nix-shell
          • seamonkey
          • static_site_generators
          • usenet_pl
          • openbsd
          • prolog_to_c
          • openssh
          • python
        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 KDE group of the University of Kassel, the DMIR group of the University of Würzburg, and the L3S Research Center, Germany.